Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

France14883
Pierre-Etienne Moreau101
France Sauf Pierre-Etienne Moreau" 14810
Pierre-Etienne Moreau Sauf France" 28
France Et Pierre-Etienne Moreau 73
France Ou Pierre-Etienne Moreau 14911
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 73.
Ident.Authors (with country if any)Title
000517 Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000552 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Emilie Balland [France]A Java Framework for Test Data Generation
000614 Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000627 Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000E23 Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Effective strategic programming for Java developers
001561 Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni]Island Grammar-Based Parsing Using GLL and Tom
001934 Jean-Christophe Bach [France] ; Pierre-Etienne Moreau [France] ; Marc Pantel [France]Tom-based tools to transform EMF models in avionics context
001935 Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni]Island Grammar-based Parsing using GLL and Tom
001B85 Jean-Christophe Bach [France] ; Xavier Crégut [France] ; Pierre-Etienne Moreau [France] ; Marc Pantel [France]Model Transformations with Tom
001F85 François Prugniel [France] ; Pierre-Etienne Moreau [France] ; Horatiu Cirstea [France]A constraint language for algebraic term based on rewriting theory
002D81 Francisco Durán ; Manuel Roldan [Espagne] ; Jean-Christophe Bach [France] ; Emilie Balland [France] ; Mark Van Den Brand [Pays-Bas] ; James R. Cordy ; Steven Eker ; Luc Engelen ; Maartje De Jonge ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats ; Pierre-Etienne Moreau [France] ; Eelco Visser [Pays-Bas]The Third Rewrite Engines Competition
002E28 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-patterns for Rule-based Languages
003227 Claus Brabrand ; Pierre-Etienne Moreau [France]Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS
003337 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]TomML: A Rule Language For Structured Data
003521 Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Cláudia Tavares [France]A Type System for Tom
003700 Tony Bourdier [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De OliveiraAnalysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.
003881 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]TomML : A Rule Language for Structured Data
003C26 Jean-Christophe Bach [France] ; Emilie Balland [France] ; Paul Brauner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Tom Manual
003F30 Emilie Balland [France] ; Yohan Boichut [France] ; Thomas Genet [France] ; Pierre-Etienne Moreau [France]Towards an Efficient Implementation of Tree Automata Completion
003F49 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France]Rewrite Based Specification of Access Control Policies
003F56 Pierre-Etienne Moreau [France]Programming and Confidence
003F86 Emilie Balland [France] ; Pierre-Etienne Moreau [France]Term-graph rewriting via explicit paths
004061 Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Software Quality Improvement via Pattern Matching
004066 Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Mark Van Den Brand [Pays-Bas] ; Eelco Visser [Pays-Bas] ; Francisco Duran [Espagne] ; Manuel Roldan [Espagne] ; Steven Eker ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats [Pays-Bas] ; Ruslan SchevchenkoThe Second Rewrite Engines Competition
004288 Emilie Balland [France] ; Yohan Boichut [France] ; Thomas Genet [France] ; Pierre-Etienne Moreau [France]Towards an Efficient Implementation of Tree Automata Completion
004298 Emilie Balland [France] ; Pierre-Etienne Moreau [France]Term-Graph Rewriting Via Explicit Paths
004635 Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-Pattern Matching Modulo
004857 Emilie Balland [France] ; Paul Brauner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Tom: Piggybacking rewriting on java
004861 Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rules and Strategies in Java
004915 Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rewriting Strategies in Java
004969 Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Bytecode rewriting in Tom
004D06 Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-pattern Matching
004E91 Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-Pattern Matching Modulo
005006 Emilie Balland [France] ; Pierre-Etienne Moreau [France]Optimizing pattern matching compilation by program transformation
005075 Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal Islands
005172 Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France]Modular Formal Islands: Embed theory in your practice
005479 Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal Islands
005545 Marian Vittek [Slovaquie] ; Peter Borovansky [Slovaquie] ; Pierre-Etienne Moreau [France]A Simple Generic Library for C
005602 Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
005739 Emilie Balland [France] ; Pierre-Etienne Moreau [France]Optimizing pattern matching compilation by program transformation
005968 Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Formal Validation of Pattern Matching Code
005A25 Ozan Kahramanogullari [Allemagne] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Implementing Deep Inference in Tom
005C54 Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]A generator of efficient strongly typed abstract syntax trees in Java
006663 Julien Guyon [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]An Integrated Development Environment for Pattern Matching Programming
006E96 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rule based programming in Java for protocol verification
006F11 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production and Rewrite Systems
006F12 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rewrite Systems
006F13 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
006F14 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
007154 Vincent Cridlig [France] ; Olivier Festor [France] ; Jacques Guyard [France] ; Pierre-Etienne Moreau [France]Formalisation et évaluation de politiques P3P
007187 Vincent Cridlig [France] ; Olivier Festor [France] ; Jacques Guyard [France] ; Pierre-Etienne Moreau [France]A Formal Approach to P3P Privacy Policies Evaluation
007250 Mark G. J. Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for Term Rewriting Engines for Free!
007A65 Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for Term Rewriting Engines for Free!
007E95 Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian VittekA Pattern Matching Compiler for Multiple Target Languages
008070 Mark G. J. Van Den Brand [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France]The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
008914 Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
008B35 Pierre-Etienne Moreau [France] ; Olivier Zendra [France]GC^2: A Generational Conservative Garbage Collector for the ATerm Library
008C06 Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian VittekA Pattern Matching Compiler for Multiple Target Languages
008D17 Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian VittekA Pattern-Matching Compiler
009180 Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
009224 Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]A Pattern-Matching Compiler
009D69 Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]A reflective extension of ELAN
00A158 Pierre-Etienne Moreau [France]REM (Reduce Elan Machine): Core of the New ELAN Compiler
00A965 Hélèene Kirchner [France] ; Pierre-Etienne Moreau [France]Non-deterministic Computations in ELAN
00AD21 Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from the rewriting logic point of view
00B269 Peter Borovansk ; Claude Kirchner ; Hélène Kirchner [France] ; Pierre-Etienne Moreau ; Christophe RingeissenAn Overview of ELAN
00B402 Pierre-Etienne Moreau [France] ; Hélène Kirchner [France]A compiler for rewrite programs in associative-commutative theories
00B457 Pierre-Etienne Moreau [France]Compiling nondeterministic computations
00B618 Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]Non-deterministic computations in ELAN
00B642 Peter Borovansky [France] ; Salma Jamoussi [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France]Handling ELAN Rewrite Programs via an Exchange Format
00B695 Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France]An Overview of ELAN
00B723 Pierre-Etienne Moreau [France] ; Hélène Kirchner [France]A Compiler for Rewrite Programs in Associative-Commutative Theories
00C717 Hélène Kirchner [France] ; Pierre-Etienne MoreauPrototyping completion with constraints using computational systems
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022